$\forall$$a$, $b$, $c$:$\mathbb{Q}$. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ (($c$ + $a$) = ($c$ + $b$) $\in$ $\mathbb{Q}$)